\begin{tabbing}
w{-}atom{-}constraint\=\{i:l\}\+
\\[0ex]($w$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$i$:Id, $x$:Id. AtomFree(Type$_{\mbox{\scriptsize i}}$;$w$.T($i$,$x$)))\+
\\[0ex]\& ($\forall$$i$:Id, $a$:Id. AtomFree(Type$_{\mbox{\scriptsize i}}$;$w$.TA($i$,$a$)))
\\[0ex]\& ($\forall$$l$:IdLnk, ${\it tg}$:Id. AtomFree(Type$_{\mbox{\scriptsize i}}$;$w$.M($l$,${\it tg}$)))
\-
\end{tabbing}